带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

中国古典园林三维造型研究

论述了采用层次结构化及参数化三维造型方法，建立一个以造型函数库为核心，从而构造各类、各级园林景观构件表面模型的方法和过程。对于某些非建筑类的园林配景构件，采用了Ｆｒａｃｔａｌ方法进行造型。     

一种自动布线方法：多级线探索法

本文介绍了一种在微机上实现的印制板自动布线方法──多级线探索法及其编程方法。这种方法是基于完备布线算法的概念，通过分析李氏算法和传统线探索法的不足之处而得到的。虽然它也是一种线探索法，但有较传统线探索法更强的探索能力，不需要结合李氏算法而能单独完成布线任务，是一种较理想的算法，通过实验获得了较为满意的效果。     

利用TM资料测量毛乌素沙地面积的方法和结果

利用1:25万陆地卫星TM资料和地形图，在GIS支持下，建立毛乌素沙地图形数据库，对毛乌素沙地目前流沙分布的范围进行了调查研究。重.资、介绍了利用陆地卫星TM资料对毛乌素沙地的面积进行测童计算的技术和方法，给出了最新测贡得到的毛乌素沙地全区总面积和分布于各旗县的沙地面积数据。     

A 3-D motion tracing system in High School Physics teaching

Abstract This article presents a study of a large scale incorporation of one data acquisitionsystem into physics teaching in Israel. By 1994 about 30% of the schools throughout the country used the V-scope, a 3-D multibody motion tracing system, in their lab programme. The views and reactions of post-training teachers, experienced teachers and students on various aspects of using the system are described, analysed and compared.     

冲裁模CAD／CAM结构库之原型法

本文首先给出了一种新的2.5D 实体表示法,然后在此基础上提出了“原型”的概念。原型法的思想运用在结构库的管理中主要体现在它将模具结构与构成这种结构的零件之间的强联系变成弱联系,结构库面向的对象是一个具有整体性和可运算性的结构原型。这样的原型结构库基本上达到了通用性与开放性的要求。     

顶封封隔管柱的研制与应用

中原油田近年来注水压力不断升高，井况恶化严重，为此开发了顶封封隔管柱，主要阐述了管柱工况受力特点、结构、工作原理及现场使用效果。经现场较大面积的应用证明，各项性能、技术指标达到了现场要求。     

CMF300M355NU型质量流量计在油库汽车装车中的应用

介绍了质量流量计的工作原理有应用效果。这种新型质量流量计精度高，稳定性好，示值计量简便，可直接显示质量、流量、介质温度、密度等，维护量低，但必须正确安装、使用，才能发挥其应有的作用。     

一种有效的优化的多载波通信系统的功率分配算法

本文提出一种关于DMT系统传输纯数据流业务的最佳的功率分配算法，该算法使用了一种有效的表格查手工艺工和拉格朗日乘法器对分搜索办法，能够较快的收敛到最佳的功率点。同时，易于用硬件和软件实现。